H ? « ‹ ← → › »

Language peer sets for Yet Another Linear Logic Programming Language:
Japan↑
Japan/1996↑
Designed 1996 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

Yet Another Linear Logic Programming Language(ID:5036/yet001)

alternate simple view
Country: Japan
Designed 1996

Linear Logic Programming Language featuring an extension of Lafont's interaction nets to the additive case
References:
  • SATOSHI MATSUOKA (1996) SATOSHI MATSUOKA "Additive Interaction Nets : Yet Another Linear Logic Programming Language" Abstract
          in (1996) IPSJ Transactions on Programming Vol.40 No.SIG04 - 013
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder